Modal logic

Results: 1643



#Item
631Religion / Theology / Modal logic / Ontology / Ontological argument / Existence of God / Reality / Possible world / Omniscience / Philosophy / Theism / Arguments for the existence of God

PDF Document

Add to Reading List

Source URL: winone.iqsociety.org

Language: English - Date: 2013-12-09 04:19:41
632Causality / Social philosophy / Metaphysics / Harry Frankfurt / Moral responsibility / Frankfurt / Modal logic / Counterexample / Action theory / Philosophy / Free will / Philosophy of life

This is a preprint of an article whose final and definitive form will be/is published in The Australasian Journal of Philosophy [2008]; The Australasian Journal of Philosophy is available online at: http://journalsonline

Add to Reading List

Source URL: eprints.soton.ac.uk

Language: English - Date: 2010-12-20 13:23:41
633Artificial intelligence / Epistemic modal logic / Modal logic / Alan Turing / Logic / Jeroen Groenendijk / Hans Kamp / Science / British people / Academia

NASSLLI North American Summer School of Logic, Language, and Information University of Texas at Austin, June 16–24, 2012

Add to Reading List

Source URL: www.nasslli2012.com

Language: English - Date: 2014-04-12 19:28:12
634Proof theory / Functions and mappings / Logic in computer science / Function / Primitive recursive function / Curry–Howard correspondence / Second-order logic / Modal logic / Computational complexity theory / Mathematics / Logic / Mathematical logic

Extracting Feasible Programs

Add to Reading List

Source URL: aaai.org

Language: English - Date: 2006-01-11 06:16:21
635Non-classical logic / Predicate logic / Philosophical logic / First-order logic / Propositional calculus / Paraconsistent logic / Interpretation / Modal logic / Negation / Logic / Mathematical logic / Semantics

PDF Document

Add to Reading List

Source URL: media.wiley.com

Language: English - Date: 2007-10-05 17:44:52
636Non-classical logic / Predicate logic / Philosophical logic / First-order logic / Propositional calculus / Paraconsistent logic / Interpretation / Modal logic / Negation / Logic / Mathematical logic / Semantics

PDF Document

Add to Reading List

Source URL: media.wiley.com

Language: English - Date: 2011-09-26 07:12:08
637Philosophy / Ontology / Philosophical logic / Metaphysics / Mathematical logic / Property / Finitary relation / Modal logic / Binary relation / Mathematics / Logic / Mereology

VOL.  NO.  APRIL  CONTENTS ARTICLES In Defence of Magical Ersatzism Why Aren’t Duties Rights?

Add to Reading List

Source URL: philpapers.org

Language: English
638Predicate logic / Models of computation / Formal methods / Computability theory / Lambda calculus / Theoretical computer science / Mereology / Modal logic / Free variables and bound variables / Logic / Mathematics / Mathematical logic

Automatic Mutual Exclusion and Atomicity Checks Mart´ın Abadi1,2 1 2

Add to Reading List

Source URL: research.microsoft.com

Language: English - Date: 2009-07-21 20:04:04
639Mathematical constructivism / Philosophy of mathematics / Non-classical logic / Philosophical logic / Epistemology / Intuitionism / Intuitionistic logic / Kripke semantics / Saul Kripke / Logic / Mathematical logic / Mathematics

Notes on the Interpretation of Modal and Intuitionistic Logic, 1966 Box 7, Folder 4 Richard C. Jeffrey Papers, [removed], ASP[removed], Archives of Scientific Philosophy, Special Collections Department, University of Pitt

Add to Reading List

Source URL: digital.library.pitt.edu

Language: English - Date: 2013-06-01 22:43:14
640Philosophy / Modal logic / Reference / Essentialism / Rigid designator / Structural rigidity / Definition / Naming and Necessity / Rigidity / Linguistics / Philosophy of language / Logic

Joanna Odrowąż-Sypniewska University of Warsaw [removed] Rigidity and Essentialism: Do we have a viable conception of rigidity for natural kind terms? In Naming and Necessity we find two criteria of rigidity:

Add to Reading List

Source URL: www.bristol.ac.uk

Language: English - Date: 2007-10-06 09:58:10
UPDATE